- теоретико-числовой предикат
- теоре́тико-числови́й предика́т
Русско-украинский политехнический словарь. 2013.
теоретико-числовой предикат
Смотреть что такое "теоретико-числовой предикат" в других словарях:
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
Натуральное число — Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.). Натуральные числа (естественные числа) числа, возникающие естественным образом при счёте (как в смысле перечисл … Википедия
